Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
551	Heavy-traffic analysis of the discriminatory random-order-of-service discipline∗ U. Ayesta1,2 , A. Izagirre1,3 , I.M. Verloop1,4 1 BCAM – Basque Center for Applied Mathematics, Derio, Spain Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-01-01 05:04:27 Poisson process M/G/1 queue Queueing model Variance M/M/1 queue Statistics Stochastic processes Queueing theory
552	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
553	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
554	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
555	Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Higher-order functions Model theory Graph theory Mathematical induction Structural induction Fold Map List Interpretation Software engineering Mathematics Computing
556	Consequences of the Lakshmibai-Sandhya Theorem Sara Billey University of Washington http://www.math.washington.edu/∼billey Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2011-09-21 19:17:10 Algebraic combinatorics Representation theory of Lie algebras Combinatorics Algebraic geometry Bruhat order Kazhdan–Lusztig polynomial Permutation pattern Schubert variety Permutation Algebra Abstract algebra Mathematics
557	Chapter 8 Circuit traffic The Erlang model was developed a century ago in order to dimension the first telephone networks. Today, it is still a reference in the field of telecommunications. Add to Reading List Source URL: perso.telecom-paristech.fr Language: English - Date: 2012-04-17 01:45:55 Network performance Poisson processes Teletraffic Erlang Poisson distribution Queueing model Erlang distribution Statistics Stochastic processes Queueing theory
558	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Model theory Functions and mappings Function Structure Axiom Interpretation First-order logic Mathematics Mathematical logic Logic
559	Personality and Individual Differences xxxxxx–xxx Contents lists available at ScienceDirect Personality and Individual Differences journal homepage: www.elsevier.com/locate/paid Add to Reading List Source URL: bleske-rechek.com Language: English - Date: 2013-09-28 21:01:58 Behavior Big Five personality traits Birth order Personality psychology Trait theory Conscientiousness Sibling Extraversion and introversion Agreeableness Personality traits Personality Mind
560	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic

UPDATE